Metal[2]

The syntax-definition formalism of the Mentor system. Metal specifications are compiled to specifications for a scanner/parser generator such as Lex/Yacc.

"Metal: A Formalism to Specify Formalisms", G. Kahn et al, Sci Computer Programming 3:151-188 (1983).